quick proof sin x - sin y = 2 cos (x y)